Z-Library پر تلاش کریں Marco Bernardo:

علم اور ثقافت کا آپ کا گیٹ وے۔ سب کے لیے قابل رسائی۔

Don't use scam websites

کتابیں (38)
سب سے مشہور
فہرست
- فہرست
- جدول

1

A Process Algebraic Approach to Software Architecture Design

A Process Algebraic Approach to Software Architecture Design

Springer-Verlag London

Alessandro Aldini, Marco Bernardo, Flavio Corradini (auth.)

سال:

2010

زبان:

english

فائل:

PDF, 2.60 MB

0 / 0

english, 2010

2

Formal Methods for Software Architectures: Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003. Advanced Lectures

Formal Methods for Software Architectures: Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003. Advanced Lectures

Springer-Verlag Berlin Heidelberg

David Garlan (auth.), Marco Bernardo, Paola Inverardi (eds.)

سال:

2003

زبان:

english

فائل:

PDF, 3.72 MB

0 / 0

english, 2003

3

Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures

Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures

Springer-Verlag Berlin Heidelberg

Nicola Bombieri, Franco Fummi (auth.), Marco Bernardo, Alessandro Cimatti (eds.)

سال:

2006

زبان:

english

فائل:

PDF, 2.88 MB

0 / 0

english, 2006

4

Formal Methods for Web Services: 9th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, Bertinoro Programming and Software Engineering

Formal Methods for Web Services: 9th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, Bertinoro Programming and Software Engineering

Marco Bernardo, Luca Padovani, Gianluigi Zavattaro

سال:

2009

زبان:

english

فائل:

PDF, 5.97 MB

0 / 5.0

english, 2009

5

Formal Methods for Performance Evaluation: 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures

Formal Methods for Performance Evaluation: 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures

Springer-Verlag Berlin Heidelberg

William J. Stewart (auth.), Marco Bernardo, Jane Hillston (eds.)

سال:

2007

زبان:

english

فائل:

PDF, 4.81 MB

0 / 0

english, 2007

6

A Process Algebraic Approach to Software Architecture Design

A Process Algebraic Approach to Software Architecture Design

Springer-Verlag London

Alessandro Aldini, Marco Bernardo, Flavio Corradini (auth.)

سال:

2010

زبان:

english

فائل:

PDF, 2.49 MB

0 / 0

english, 2010

7

Formal Methods for Multicore Programming: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures

Formal Methods for Multicore Programming: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures

Springer International Publishing

Marco Bernardo, Einar Broch Johnsen (eds.)

سال:

2015

زبان:

english

فائل:

PDF, 10.83 MB

0 / 0

english, 2015

8

A Process Algebraic Approach to Software Architecture Design

A Process Algebraic Approach to Software Architecture Design

Springer-Verlag London

Alessandro Aldini, Marco Bernardo, Flavio Corradini (auth.)

سال:

2010

زبان:

english

فائل:

PDF, 2.90 MB

0 / 0

english, 2010

9

Formal Methods for Model-Driven Engineering: 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures

Formal Methods for Model-Driven Engineering: 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures

Springer-Verlag Berlin Heidelberg

Bran Selic (auth.), Marco Bernardo, Vittorio Cortellessa, Alfonso Pierantonio (eds.)

سال:

2012

زبان:

english

فائل:

PDF, 8.74 MB

0 / 5.0

english, 2012

10

Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures

Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures

Springer-Verlag Berlin Heidelberg

Gordon S. Blair, Massimo Paolucci, Paul Grace, Nikolaos Georgantas (auth.), Marco Bernardo, Valérie Issarny (eds.)

سال:

2011

زبان:

english

فائل:

PDF, 11.63 MB

0 / 0

english, 2011

11

Formal Methods for Software Architectures: Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003. Advanced Lectures

Formal Methods for Software Architectures: Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003. Advanced Lectures

Springer-Verlag Berlin Heidelberg

David Garlan (auth.), Marco Bernardo, Paola Inverardi (eds.)

سال:

2003

زبان:

english

فائل:

PDF, 2.87 MB

0 / 0

english, 2003

12

Por que Religião? A Religião Está Ai

Por que Religião? A Religião Está Ai

Padre Marcos William Bernardo

سال:

2013

زبان:

portuguese

فائل:

PDF, 7.29 MB

0 / 0

portuguese, 2013

13

A Process Algebraic Approach to Software Architecture Design

A Process Algebraic Approach to Software Architecture Design

Springer-Verlag London

Alessandro Aldini, Marco Bernardo, Flavio Corradini (auth.)

سال:

2010

زبان:

english

فائل:

PDF, 3.57 MB

0 / 0

english, 2010

14

Formal Methods for Web Services: 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures

Formal Methods for Web Services: 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures

Springer-Verlag Berlin Heidelberg

Roberto Bruni (auth.), Marco Bernardo, Luca Padovani, Gianluigi Zavattaro (eds.)

سال:

2009

زبان:

english

فائل:

PDF, 4.81 MB

0 / 0

english, 2009

15

Formal Methods for Mobile Computing: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures

Formal Methods for Mobile Computing: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures

Springer-Verlag Berlin Heidelberg

Ugo Montanari, Marco Pistore (auth.), Marco Bernardo, Alessandro Bogliolo (eds.)

سال:

2005

زبان:

english

فائل:

PDF, 3.76 MB

0 / 0

english, 2005

16

Computer Performance Engineering: 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010. Proceedings

Computer Performance Engineering: 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Marco Roccetti, Gustavo Marfia (auth.), Alessandro Aldini, Marco Bernardo, Luciano Bononi, Vittorio Cortellessa (eds.)

سال:

2010

زبان:

english

فائل:

PDF, 4.60 MB

0 / 0

english, 2010

17

Formal Methods for Web Services: 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures

Formal Methods for Web Services: 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures

Springer-Verlag Berlin Heidelberg

Roberto Bruni (auth.), Marco Bernardo, Luca Padovani, Gianluigi Zavattaro (eds.)

سال:

2009

زبان:

english

فائل:

PDF, 8.59 MB

0 / 0

english, 2009

18

Econometric Modeling Perspectives

Econometric Modeling Perspectives

Nova Science Publishers, Incorporated

Marco Bee, Giuseppe Espa, Roberto Gabriele, Bernardo Maggio, Gianfranco Piras

سال:

2008

زبان:

english

فائل:

PDF, 3.76 MB

0 / 0

english, 2008

19

Lecture Notes in Computer Science 3185 Formal Methods for the Design of Real-Time Systems International School on Formal Methods for the Design of Computer,Communication and Systems,SFM-RT 2004

Lecture Notes in Computer Science 3185 Formal Methods for the Design of Real-Time Systems International School on Formal Methods for the Design of Computer,Communication and Systems,SFM-RT 2004

Springer-Verlag

Marco Bernardo, Flavio Corradini, International School on Formal Methods for the Design of Computer, Communication and Software Systems, International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004

سال:

2004

زبان:

English

فائل:

PDF, 159.90 MB

0 / 0

English, 2004

20

Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures

Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures

Springer-Verlag Berlin Heidelberg

Gordon S. Blair, Massimo Paolucci, Paul Grace, Nikolaos Georgantas (auth.), Marco Bernardo, Valérie Issarny (eds.)

سال:

2011

زبان:

english

فائل:

PDF, 12.35 MB

0 / 5.0

english, 2011

21

Computer Performance Engineering: 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010. Proceedings

Computer Performance Engineering: 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Marco Roccetti, Gustavo Marfia (auth.), Alessandro Aldini, Marco Bernardo, Luciano Bononi, Vittorio Cortellessa (eds.)

سال:

2010

زبان:

english

فائل:

PDF, 4.67 MB

0 / 0

english, 2010

22

The Graduate Student’s Guide to Numerical Analysis ’98: Lecture Notes from the VIII EPSRC Summer School in Numerical Analysis

The Graduate Student’s Guide to Numerical Analysis ’98: Lecture Notes from the VIII EPSRC Summer School in Numerical Analysis

Springer-Verlag Berlin Heidelberg

Bernardo Cockburn (auth.), Mark Ainsworth, Jeremy Levesley, Marco Marletta (eds.)

سال:

1999

زبان:

english

فائل:

PDF, 6.00 MB

0 / 0

english, 1999

23

Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Bertinora, Italy, September 13-18, 2004, Revised Lectures

Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Bertinora, Italy, September 13-18, 2004, Revised Lectures

Springer-Verlag Berlin Heidelberg

Rajeev Alur, P. Madhusudan (auth.), Marco Bernardo, Flavio Corradini (eds.)

سال:

2004

زبان:

english

فائل:

PDF, 2.31 MB

0 / 0

english, 2004

24

Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

Springer International Publishing

Marco Bernardo, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer (eds.)

سال:

2014

زبان:

english

فائل:

PDF, 10.79 MB

0 / 0

english, 2014

25

Formal Methods for Mobile Computing: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures

Formal Methods for Mobile Computing: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures

Springer-Verlag Berlin Heidelberg

Ugo Montanari, Marco Pistore (auth.), Marco Bernardo, Alessandro Bogliolo (eds.)

سال:

2005

زبان:

english

فائل:

PDF, 2.88 MB

0 / 0

english, 2005

26

Formal Methods for Computational Systems Biology: 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures

Formal Methods for Computational Systems Biology: 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures

Springer-Verlag Berlin Heidelberg

Andrea Degasperi, Stephen Gilmore (auth.), Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro (eds.)

سال:

2008

زبان:

english

فائل:

PDF, 11.98 MB

0 / 0

english, 2008

27

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems: 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems: 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures

Springer International Publishing

Marco Bernardo, Rocco De Nicola, Jane Hillston (eds.)

سال:

2016

زبان:

english

فائل:

PDF, 16.08 MB

0 / 0

english, 2016

28

Formal Methods for Model-Driven Engineering: 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures

Formal Methods for Model-Driven Engineering: 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures

Springer-Verlag Berlin Heidelberg

Bran Selic (auth.), Marco Bernardo, Vittorio Cortellessa, Alfonso Pierantonio (eds.)

سال:

2012

زبان:

english

فائل:

PDF, 7.37 MB

0 / 0

english, 2012

29

Formal Methods for Dynamical Systems: 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures

Formal Methods for Dynamical Systems: 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures

Springer-Verlag Berlin Heidelberg

Boris Köpf, Andrey Rybalchenko (auth.), Marco Bernardo, Erik de Vink, Alessandra Di Pierro, Herbert Wiklicky (eds.)

سال:

2013

زبان:

english

فائل:

PDF, 5.80 MB

0 / 0

english, 2013

30

Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures

Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures

Springer-Verlag Berlin Heidelberg

Alessandra Di Pierro, Chris Hankin (auth.), Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky (eds.)

سال:

2010

زبان:

english

فائل:

PDF, 1.53 MB

0 / 0

english, 2010

31

Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Bertinora, Italy, September 13-18, 2004, Revised Lectures

Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Bertinora, Italy, September 13-18, 2004, Revised Lectures

Springer-Verlag Berlin Heidelberg

Rajeev Alur, P. Madhusudan (auth.), Marco Bernardo, Flavio Corradini (eds.)

سال:

2004

زبان:

english

فائل:

PDF, 3.04 MB

0 / 0

english, 2004

32

Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

Springer International Publishing

Marco Bernardo, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer (eds.)

سال:

2014

زبان:

english

فائل:

PDF, 8.06 MB

0 / 0

english, 2014

33

Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures

Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures

Springer-Verlag Berlin Heidelberg

Alessandra Di Pierro, Chris Hankin (auth.), Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky (eds.)

سال:

2010

زبان:

english

فائل:

PDF, 1.65 MB

0 / 0

english, 2010

34

Formal methods for web services advanced lectures, 9, 2009, Bertinoro

Formal methods for web services advanced lectures, 9, 2009, Bertinoro

Marco Bernardo, Luca Padovani, Gianluigi Zavattaro

سال:

2009

زبان:

english

فائل:

PDF, 8.71 MB

0 / 0

english, 2009

35

Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures

Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures

Springer-Verlag Berlin Heidelberg

Gordon S. Blair, Massimo Paolucci, Paul Grace, Nikolaos Georgantas (auth.), Marco Bernardo, Valérie Issarny (eds.)

سال:

2011

زبان:

english

فائل:

PDF, 9.44 MB

0 / 0

english, 2011

36

Formal Methods for Computational Systems Biology: 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures

Formal Methods for Computational Systems Biology: 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures

Springer-Verlag Berlin Heidelberg

Andrea Degasperi, Stephen Gilmore (auth.), Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro (eds.)

سال:

2008

زبان:

english

فائل:

PDF, 26.73 MB

0 / 0

english, 2008

37

Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures

Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures

Springer-Verlag Berlin Heidelberg

Alessandra Di Pierro, Chris Hankin (auth.), Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky (eds.)

سال:

2010

زبان:

english

فائل:

PDF, 2.65 MB

0 / 0

english, 2010

38

Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014

Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014

Marco Bernardo, Ferruccio Damiani, Reiner Haehnle, Einar Broch Johnsen, Ina Schaefer

سال:

2014

زبان:

english

فائل:

PDF, 3.83 MB

0 / 0

english, 2014